Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
921	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
922	 doi: ./j.-...x ©  The Author Journal compilation ©  The Editors of The Philosophical Quarterly Published by Blackwell Add to Reading List Source URL: cdm.unimo.it Language: English - Date: 2007-12-15 12:49:12 Epistemologists Skepticism Philosophical movements Mathematical logic G. E. Moore Philosophical skepticism Here is a hand Mathematical proof John McDowell Philosophy Epistemology Analytic philosophers
923	Lurch: A Word Processor Built on OpenMath that Can Check Mathematical Reasoning Nathan C. Carter1 and Kenneth G. Monks2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 02:00:58 Mathematics OpenMath OMDoc Lurch Mathematical proof Michael Kohlhase TeX Notice of electronic filing Expression Computing Markup languages Mathematical markup languages
924	The LEO-II Project Christoph Benzm¨uller⋆† , Larry Paulson⋆ Frank Theiss† , Arnaud Fietzke† † Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:24 Mathematical logic Isabelle Proof assistant Vampire SPASS HOL Higher-order logic First-order logic Resolution Theoretical computer science Logic Automated theorem proving
925	A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC ITA¨I BEN YAACOV AND ARTHUR PAUL PEDERSEN A BSTRACT. Continuous first-order logic has found interest among model theorists who wish to extend the classical analys Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2009-09-10 18:19:28 Metalogic Interpretation Łukasiewicz logic First-order logic Structure Elementary class Ultraproduct Many-valued logic Compactness theorem Model theory Logic Mathematical logic
926	A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 15:33:00 Formal methods Formal sciences Logical syntax Philosophy of mathematics Mathematical logic Formal proof Model checking Formalism Mathematical proof Logic Mathematics Science
927	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 9 Discrete Mathematics (AMP) (a) The subset S of N = {0, 1, 2, . . .} is inductively defined by the following axiom and rules, where n ranges over N: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Mathematical proofs Inductive reasoning Mathematical induction Proof theory Constructible universe Universal quantification String Surreal number Peano axioms Mathematics Mathematical logic Logic
928	Trace-Based Network Proof Systems: Expressiveness and Completeness JENNIFER WIDOM Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:08:39 Model theory Non-classical logic Abstraction Axiology First-order logic Parallel computing Modal logic Trace Temporal logic Logic Mathematics Mathematical logic
929	Real Analysis Exchange Summer Symposium 2009, pp. 30–34 Emma D’Aniello, Dipartimento di Matematica, Seconda Universit`a degli Studi di Napoli, Via Vivaldi 43, 81100 Caserta, Italy. email: [removed] Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2010-01-15 15:07:38 Constructible universe Mathematics Proof theory Ordinal arithmetic Hölder condition Mathematical logic Limit set Ordinal number
930	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic

UPDATE